Approximation of the Constrained Joint Spectral Radius via Algebraic Lifting

This article studies the constrained switching (linear) system which is a discrete-time switched linear whose sequences are by deterministic finite automaton. The stability of characterized its joint spectral radius that known to be difficult compute or approximate. Using semitensor product matrices, matrix-form expression shown equivalent lifted arbitrary system. Then, joint/generalized proven equal can approximated off-the-shelf algorithms.